JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·5h·
Discuss: Hacker News
🌊Stream Processing
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·2d
🧠Computational Logic
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·36m·
Discuss: Hacker News
✨Algebraic Effects
How to reason from first principles
caseyhandmer.wordpress.com·39m
🎯Proof Tactics
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·22h·
Discuss: Hacker News
🎯Interactive Provers
Kiro and the future of AI spec-driven software development
kiro.dev·5h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Zig Interface Revisited
williamw520.github.io·2h·
Discuss: Hacker News
🧩WASM Components
Python `apply()` vs. `apply_async()`: Which Should You Use?
thenewstack.io·2h
🌊Stream Processing
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·4h·
Discuss: DEV
🌀Brotli Internals
Turing, Wagner, Ruth
blog.computationalcomplexity.org·1h·
Discuss: blog.computationalcomplexity.org
📐Mathematical Art
Rethinking Distributed Computing for the AI Era
cacm.acm.org·45m
⚡Incremental Computation
Parsing Protobuf Like Never Before
mcyoung.xyz·12h
🔧Binary Parsers
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
I'm Unsatisfied with Easing Functions
davepagurek.com·2h·
Discuss: Lobsters, Hacker News
🗜️LZW Variants
Inheritance over composition, sometimes
death.andgravity.com·1d
🦀Rust Macros
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers